[INFO] cloning repository https://github.com/krobelus/rate
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/krobelus/rate" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkrobelus%2Frate", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkrobelus%2Frate'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 93bf524435455ddc0b370669c17b1eb8741a026c
[INFO] fixing krobelus/rate against try#622891a4e29178280638a6b63a8908bde2c0c854+cargoflags=-Zfix-edition=end=2015,2024 for pr-157817-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkrobelus%2Frate" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/krobelus/rate
[INFO] finished tweaking git repo https://github.com/krobelus/rate
[INFO] tweaked toml for git repo https://github.com/krobelus/rate written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/krobelus/rate on toolchain 622891a4e29178280638a6b63a8908bde2c0c854
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/krobelus/rate already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3a6becf2bc8dde7f3fa57ede90e4f284e72d296796fc446bbb1e2c7cc0530151" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 76e0cd804ac8a65fea9c62bf0f023839025fedaa5f8270d29b1893eea3d21612
[INFO] running `Command { std: "docker" "start" "76e0cd804ac8a65fea9c62bf0f023839025fedaa5f8270d29b1893eea3d21612", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "76e0cd804ac8a65fea9c62bf0f023839025fedaa5f8270d29b1893eea3d21612" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "76e0cd804ac8a65fea9c62bf0f023839025fedaa5f8270d29b1893eea3d21612", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=" "-e" "RUSTDOCFLAGS=" "-w" "/opt/rustwide/workdir" "--user" "0:0" "76e0cd804ac8a65fea9c62bf0f023839025fedaa5f8270d29b1893eea3d21612" "/opt/rustwide/cargo-home/bin/cargo" "+622891a4e29178280638a6b63a8908bde2c0c854" "fix" "--allow-no-vcs" "--allow-dirty" "--frozen" "--all" "--all-targets" "--message-format=json" "-Zfix-edition=end=2015,2024", kill_on_drop: false }`
[INFO] [stderr] crater-edition-check: migrating to next edition
[INFO] [stderr]    Migrating rate-macros/Cargo.toml from 2018 edition to 2021
[INFO] [stderr]    Migrating rate-common/Cargo.toml from 2018 edition to 2021
[INFO] [stderr]    Migrating rate/Cargo.toml from 2018 edition to 2021
[INFO] [stderr]    Migrating rate-sick-check/Cargo.toml from 2018 edition to 2021
[INFO] [stderr]    Migrating rate-proof-utils/Cargo.toml from 2018 edition to 2021
[INFO] [stderr]    Compiling libc v0.2.82
[INFO] [stderr]    Compiling proc-macro2 v1.0.24
[INFO] [stderr]    Compiling pkg-config v0.3.19
[INFO] [stderr]    Compiling either v1.6.1
[INFO] [stderr]    Compiling syn v1.0.59
[INFO] [stderr]    Compiling glob v0.3.0
[INFO] [stderr]    Compiling unicode-xid v0.2.1
[INFO] [stderr]    Compiling serde v1.0.120
[INFO] [stderr]    Compiling zstd-safe v3.0.0+zstd.1.4.8
[INFO] [stderr]     Checking adler v0.2.3
[INFO] [stderr]    Compiling serde_derive v1.0.120
[INFO] [stderr]    Compiling miniz_oxide v0.4.3
[INFO] [stderr]     Checking textwrap v0.11.0
[INFO] [stderr]     Checking strsim v0.8.0
[INFO] [stderr]     Checking ansi_term v0.11.0
[INFO] [stderr]     Checking vec_map v0.8.2
[INFO] [stderr]    Compiling itertools v0.9.0
[INFO] [stderr]     Checking quote v1.0.8
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking clap v2.33.3
[INFO] [stderr]    Compiling jobserver v0.1.21
[INFO] [stderr]     Checking flate2 v1.0.19
[INFO] [stderr]    Compiling cc v1.0.66
[INFO] [stderr]    Compiling zstd-sys v1.4.19+zstd.1.4.8
[INFO] [stderr]    Compiling lz4-sys v1.9.2
[INFO] [stderr]    Compiling bzip2-sys v0.1.9+1.0.8
[INFO] [stderr]    Compiling lzma-sys v0.1.17
[INFO] [stderr]    Compiling rate-macros v0.3.0 (/opt/rustwide/workdir/rate-macros)
[INFO] [stderr]    Migrating rate-macros/lib.rs from 2018 edition to 2021
[INFO] [stderr]     Checking xz2 v0.1.6
[INFO] [stderr]     Checking toml v0.5.8
[INFO] [stderr]     Checking bzip2 v0.4.1
[INFO] [stderr]     Checking lz4 v1.23.2
[INFO] [stderr]     Checking zstd v0.6.0+zstd.1.4.8
[INFO] [stderr]     Checking rate-common v0.3.0 (/opt/rustwide/workdir/rate-common)
[INFO] [stderr]    Migrating rate-common/src/lib.rs from 2018 edition to 2021
[INFO] [stderr]     Checking rate-proof-utils v0.3.0 (/opt/rustwide/workdir/rate-proof-utils)
[INFO] [stderr]     Checking rate-sick-check v0.3.0 (/opt/rustwide/workdir/rate-sick-check)
[INFO] [stderr]     Checking rate v0.3.0 (/opt/rustwide/workdir/rate)
[INFO] [stderr]    Migrating rate-proof-utils/drat2bdrat.rs from 2018 edition to 2021
[INFO] [stderr]    Migrating rate/rate.rs from 2018 edition to 2021
[INFO] [stderr]    Migrating rate-sick-check/sick-check.rs from 2018 edition to 2021
[INFO] [stderr]    Migrating rate-proof-utils/apply-proof.rs from 2018 edition to 2021
[INFO] [stderr]    Migrating rate-proof-utils/bdrat2drat.rs from 2018 edition to 2021
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 33.83s
[INFO] [stderr] crater-edition-check: rate-macros v0.3.0 (/opt/rustwide/workdir/rate-macros) updating edition from 2018 to 2021
[INFO] [stderr] crater-edition-check: rate-common v0.3.0 (/opt/rustwide/workdir/rate-common) updating edition from 2018 to 2021
[INFO] [stderr] crater-edition-check: rate v0.3.0 (/opt/rustwide/workdir/rate) updating edition from 2018 to 2021
[INFO] [stderr] crater-edition-check: rate-sick-check v0.3.0 (/opt/rustwide/workdir/rate-sick-check) updating edition from 2018 to 2021
[INFO] [stderr] crater-edition-check: rate-proof-utils v0.3.0 (/opt/rustwide/workdir/rate-proof-utils) updating edition from 2018 to 2021
[INFO] [stderr] warning: virtual workspace defaulting to `resolver = "1"` despite one or more workspace members being on edition 2021 which implies `resolver = "2"`
[INFO] [stderr]   |
[INFO] [stderr]   = note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest
[INFO] [stderr]   = note: to use the edition 2021 resolver, specify `workspace.resolver = "2"` in the workspace root's manifest
[INFO] [stderr]   = note: for more details see https://doc.rust-lang.org/cargo/reference/resolver.html#resolver-versions
[INFO] [stderr]    Compiling rate-macros v0.3.0 (/opt/rustwide/workdir/rate-macros)
[INFO] [stderr]     Checking rate-common v0.3.0 (/opt/rustwide/workdir/rate-common)
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]   --> rate-common/src/assignment.rs:47:13
[INFO] [stdout]    |
[INFO] [stdout] 47 |             /// + 2 for Literal::TOP and one conflicting assignment
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 48 |             trail: BoundedVector::with_capacity(maxvar.array_size_for_variables() + 2),
[INFO] [stdout]    |             -------------------------------------------------------------------------- rustdoc does not generate documentation for expression fields
[INFO] [stdout]    |
[INFO] [stdout]    = help: use `//` for a plain comment
[INFO] [stdout]    = note: `#[warn(unused_doc_comments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `as_error`, `puts`, and `requires`
[INFO] [stdout]   --> rate-common/src/sick.rs:4:5
[INFO] [stdout]    |
[INFO] [stdout]  4 |     as_error,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 11 |     puts, requires,
[INFO] [stdout]    |     ^^^^  ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]   --> rate-common/src/assignment.rs:47:13
[INFO] [stdout]    |
[INFO] [stdout] 47 |             /// + 2 for Literal::TOP and one conflicting assignment
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 48 |             trail: BoundedVector::with_capacity(maxvar.array_size_for_variables() + 2),
[INFO] [stdout]    |             -------------------------------------------------------------------------- rustdoc does not generate documentation for expression fields
[INFO] [stdout]    |
[INFO] [stdout]    = help: use `//` for a plain comment
[INFO] [stdout]    = note: `#[warn(unused_doc_comments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `as_error`, `puts`, and `requires`
[INFO] [stdout]   --> rate-common/src/sick.rs:4:5
[INFO] [stdout]    |
[INFO] [stdout]  4 |     as_error,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 11 |     puts, requires,
[INFO] [stdout]    |     ^^^^  ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> rate-common/src/parser.rs:213:5
[INFO] [stdout]     |
[INFO] [stdout] 213 |     mut parser: &mut Parser,
[INFO] [stdout]     |     ----^^^^^^
[INFO] [stdout]     |     |
[INFO] [stdout]     |     help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> rate-common/src/parser.rs:213:5
[INFO] [stdout]     |
[INFO] [stdout] 213 |     mut parser: &mut Parser,
[INFO] [stdout]     |     ----^^^^^^
[INFO] [stdout]     |     |
[INFO] [stdout]     |     help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/boundedvector.rs:70:17
[INFO] [stdout]    |
[INFO] [stdout] 70 |     pub fn iter(&self) -> slice::Iter<T> {
[INFO] [stdout]    |                 ^^^^^     ^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 70 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/vector.rs:69:17
[INFO] [stdout]    |
[INFO] [stdout] 69 |     pub fn iter(&self) -> slice::Iter<T> {
[INFO] [stdout]    |                 ^^^^^     ^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 69 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/stackmapping.rs:94:17
[INFO] [stdout]    |
[INFO] [stdout] 94 |     pub fn iter(&self) -> slice::Iter<Key> {
[INFO] [stdout]    |                 ^^^^^     ^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 94 |     pub fn iter(&self) -> slice::Iter<'_, Key> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate-common/src/assignment.rs:113:17
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn iter(&self) -> slice::Iter<(Literal, Reason)> {
[INFO] [stdout]     |                 ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn iter(&self) -> slice::Iter<'_, (Literal, Reason)> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate-common/src/parser.rs:355:39
[INFO] [stdout]     |
[INFO] [stdout] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input {
[INFO] [stdout]     |                                       ^^^^                   ^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                       |
[INFO] [stdout]     |                                       the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input<'_> {
[INFO] [stdout]     |                                                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/boundedvector.rs:70:17
[INFO] [stdout]    |
[INFO] [stdout] 70 |     pub fn iter(&self) -> slice::Iter<T> {
[INFO] [stdout]    |                 ^^^^^     ^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 70 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/vector.rs:69:17
[INFO] [stdout]    |
[INFO] [stdout] 69 |     pub fn iter(&self) -> slice::Iter<T> {
[INFO] [stdout]    |                 ^^^^^     ^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 69 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/stackmapping.rs:94:17
[INFO] [stdout]    |
[INFO] [stdout] 94 |     pub fn iter(&self) -> slice::Iter<Key> {
[INFO] [stdout]    |                 ^^^^^     ^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 94 |     pub fn iter(&self) -> slice::Iter<'_, Key> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate-common/src/assignment.rs:113:17
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn iter(&self) -> slice::Iter<(Literal, Reason)> {
[INFO] [stdout]     |                 ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn iter(&self) -> slice::Iter<'_, (Literal, Reason)> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate-common/src/parser.rs:355:39
[INFO] [stdout]     |
[INFO] [stdout] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input {
[INFO] [stdout]     |                                       ^^^^                   ^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                       |
[INFO] [stdout]     |                                       the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input<'_> {
[INFO] [stdout]     |                                                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking rate-proof-utils v0.3.0 (/opt/rustwide/workdir/rate-proof-utils)
[INFO] [stderr]     Checking rate-sick-check v0.3.0 (/opt/rustwide/workdir/rate-sick-check)
[INFO] [stderr]     Checking rate v0.3.0 (/opt/rustwide/workdir/rate)
[INFO] [stdout] error: format argument must be a string literal
[INFO] [stdout]     --> rate/rate.rs:2507:9
[INFO] [stdout]      |
[INFO] [stdout] 2507 | /         format!(
[INFO] [stdout] 2508 | |             "watched clause needs two unassigned watches or at least one satisfied watch: violated in [@{}] - {}",
[INFO] [stdout] 2509 | |             head, checker.assignment
[INFO] [stdout] 2510 | |         )
[INFO] [stdout]      | |_________^
[INFO] [stdout]      |
[INFO] [stdout] help: you might be missing a string literal to format with
[INFO] [stdout]      |
[INFO] [stdout] 2507 |         "{}", format!(
[INFO] [stdout]      |         +++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: format argument must be a string literal
[INFO] [stdout]     --> rate/rate.rs:2507:9
[INFO] [stdout]      |
[INFO] [stdout] 2507 | /         format!(
[INFO] [stdout] 2508 | |             "watched clause needs two unassigned watches or at least one satisfied watch: violated in [@{}] - {}",
[INFO] [stdout] 2509 | |             head, checker.assignment
[INFO] [stdout] 2510 | |         )
[INFO] [stdout]      | |_________^
[INFO] [stdout]      |
[INFO] [stdout] help: you might be missing a string literal to format with
[INFO] [stdout]      |
[INFO] [stdout] 2507 |         "{}", format!(
[INFO] [stdout]      |         +++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `rate` (bin "rate") due to 1 previous error
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `rate` (bin "rate" test) due to 1 previous error
[INFO] running `Command { std: "docker" "inspect" "76e0cd804ac8a65fea9c62bf0f023839025fedaa5f8270d29b1893eea3d21612", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "76e0cd804ac8a65fea9c62bf0f023839025fedaa5f8270d29b1893eea3d21612", kill_on_drop: false }`
[INFO] [stdout] 76e0cd804ac8a65fea9c62bf0f023839025fedaa5f8270d29b1893eea3d21612
